Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
741	∗ Effective Web Scraping with OXPath Giovanni Grasso, Tim Furche, and Christian Schallhart Department of Computer Science, Oxford University, Wolfson Building, Parks Road, Oxford OX1 3QD Add to Reading List Source URL: www2013.wwwconference.org Language: English - Date: 2014-07-21 08:46:56 Computing Information science Data management World Wide Web Semantic Web Query languages Knowledge representation Functional languages XPath Web scraping XQuery Resource Description Framework
742	Helium, for Learning Haskell Bastiaan Heeren Daan Leijen Arjan van IJzendoorn Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-02-20 14:04:58 Software engineering Computer programming Programming language theory Functional languages Type theory Data types Functional programming Literate programming Haskell Type class Type inference OCaml
743	A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2008-08-18 13:40:59 Software engineering Computing Computer programming Concurrent programming languages Dependence analysis Static program analysis Information flow Program slicing Scope ALGOL 68 Variable XC
744	Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team Add to Reading List Source URL: www.opengda.org Language: English - Date: 2011-08-15 10:21:08 Software engineering Computer programming Computing Concurrent programming languages Object-oriented programming languages Cross-platform software Java Iterator Foreach loop
745	Michael D. Adams Address: 350 S 600 E / Apt. 105 Salt Lake City, UThttp://michaeldadams.org Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2015-12-10 14:21:34 Computer science Functional programming International Conference on Functional Programming Academia Symposium on Principles of Programming Languages Computing ACM SIGACT SIGPLAN David Ungar Programming Language Design and Implementation
746	Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team Add to Reading List Source URL: www.opengda.org Language: English - Date: 2012-11-12 12:51:12 Software engineering Computing Computer programming Concurrent programming languages Object-oriented programming languages C++ Cross-platform software Java ALGOL 68 Foreach loop C++ classes
747	Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-01-06 13:25:00 Type theory Functional languages Proof assistants Dependently typed programming Logic in computer science Coq Dependent type Functional programming Haskell Inductive type Quicksort CurryHoward correspondence
748	Microsoft PowerPoint - titanium-tutorial-psc04.ppt Add to Reading List Source URL: titanium.cs.berkeley.edu Language: English - Date: 2014-04-29 06:11:58 Software engineering Computing Computer programming C++ Data types Object-oriented programming languages Procedural programming languages C D Const Pointer Scala
749	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell

UPDATE